• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة
تعداد ۶ پاسخ غیر تکراری از ۶ پاسخ تکراری در مدت زمان ۱,۱۲ ثانیه یافت شد.

1. Satisfiability problem

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses

رده :
QA9
.
3
.
S38
1997

2. Satisfiability problem :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses

رده :
QA9
.
3
.
S38
1997

3. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Armin Biere, Carla P. Gomes )eds.(

المکتبة: (طهران)

موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
4121

4. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Fahiem Bacchus, Toby Walsh )eds.(

المکتبة: (طهران)

موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
3569

5. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Holger H. Hoos, David G. Mitchell )eds.(

المکتبة: (طهران)

موضوع: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making

رده :
QA
76
.
L28
Vol
.
3542

6. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

المؤلف: Enrico Giunchiglia, Armando Tacchella )eds.(

المکتبة: (طهران)

موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
2919
  • »
  • 1
  • «

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال